Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
نویسندگان
چکیده
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. V~re claim that in such an environment, a crucial task is plan communication: the ability to suggest aspects of a plan, accept such suggestions from other agents, criticize plans, revise them, e~c., in addition to building plans. The complexity of this interaction imposes si$’nificant new requirements on the representation of plans. We describe a formal model of plans based on defensible argument systems that allows us to perform these types of reasoning. The arguments that are produced are explicit objects that can be used to provide a semantics for statements about plans.
منابع مشابه
IDA Assistance for Mixed-Initiative Planning
In mixed-initiative planning, a human planner collaborates with an automated system to build a plan of action. In existing approaches, the participants incrementally add constraints or modi cations to a single plan structure until an acceptable solution is found. We propose instead to treat the process as a form of data exploration, in which sets of plans and their relationships are the objects...
متن کاملToward a Theory of Qualitative Reasoning about Plans
Automated planning algorithms embody a theory of causality grounded in linking enabling effects of actions or initial world conditions to preconditions of subsequent actions. This model has several drawbacks when applied in the context of mixed-initiative planning. First, it requires comprehensive causal models that describe for every action its full set of preconditions and postconditions; in ...
متن کاملHow Can a Structured Representation of Capabilities Help in Planning?
In order to support a wide range of planning-related activities, we argue that plan and action representations must move to a more expressive language for goals and capabilities than is found in most current systems. A structured representation for capabilities can make explicit a hierarchy of capabilities based on subsumption, resulting in benefits for reasoning, representing, and acquiring op...
متن کاملMixed-Initiative Planning in MAPGEN: Capabilities and Shortcomings
MAPGEN (Mixed-initiative Activity Plan GENerator) is a mixed-initiative system that employs automated constraint-based planning, scheduling, and temporal reasoning to assist the Mars Exploration Rover mission operations staff in generating the daily activity plans. This paper describes the mixed-initiative capabilities of MAPGEN, identifies shortcomings with the deployed system, and discusses o...
متن کاملActivity Planning for the Mars Exploration Rovers
Operating the Mars Exploration Rovers is a challenging, time-pressured task. Each day, the operations team must generate a new plan describing the rover activities for the next day. These plans must abide by resource limitations, safety rules, and temporal constraints. The objective is to achieve as much science as possible, choosing from a set of observation requests that oversubscribe rover r...
متن کامل